Trace theory - PDFSEARCH.IO - Document Search Engine

Trace theory
Results: 358

#	Item
111	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
112	Writing Difference Dissertation Workshop\| 5-6th June 2011\|New York University of Copenhagen and New York University In an increasingly globalized world said to be marked by similarities and fluid circulations, difference Add to Reading List Source URL: cgsas.tors.ku.dk Language: English - Date: 2015-05-02 23:08:47 Social interpretations of race Trace Difference Culture Philosophy Critical theory Science Deconstruction Kinship and descent Social inequality
113	Automatic Boundary Tracing -Edge Tracking with the Trace Tool Often the irregular edge of an object or surface needs to be defined for dimensional measurements. The example shown here is an industrial coating, an irregul Add to Reading List Source URL: www.mediacy.jp Language: English - Date: 2015-02-26 02:00:45 Trace Image processing Electronic test equipment Computer vision Mathematics Linear algebra Matrix theory
114	Rank/Norm Regularization with Closed-Form Solutions: Application to Subspace Clustering Yao-Liang Yu Department of Computing Science University of Alberta Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2011-08-15 14:30:00 Matrix theory Functional analysis Operator theory Numerical linear algebra Singular value decomposition Matrix norm Projection Trace Rank Algebra Mathematics Linear algebra
115	Local Image Features Read Szeliski 4.1 Computer Vision CS 143, Brown James Hays Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-09-23 12:53:38 Linear algebra Abstract algebra Eigenvalues and eigenvectors Singular value decomposition Trace I1 Derivative Algebra Mathematics Matrix theory
116	Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 11:40:02 Computing Computability theory Parallel Random Access Machine Formal methods Central processing unit Distributed computing NC Random access machine Actor model Theoretical computer science Applied mathematics Models of computation
117	Moveout, velocity, and stacking Jon Claerbout In this chapter we handle data as though the earth had no dipping reflectors. The earth model is one of stratified layers with velocity a (generally increasing) function of d Add to Reading List Source URL: www.reproducibility.org Language: English - Date: 2013-11-11 23:14:01 Trace Linear algebra Matrix theory Matrix
118	Side-Channel Leakage and Trace Compression using Normalized Inter-Class Variance Shivam Bhasin 1 , Jean-Luc Danger 1,2 , Sylvain Guilley 1,2 and Zakaria Najm 1 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-04 14:01:56 Data analysis Mathematical analysis Normal distribution Variance Covariance Mutual information Cauchy–Schwarz inequality Pearson product-moment correlation coefficient Estimation theory Statistics Covariance and correlation Probability theory
119	D:/User/sanun/Publications/Conferences/2003/EECON03/paper/eecon03/eecon03.dvi Add to Reading List Source URL: www.face-rec.org Language: English - Date: 2005-07-18 08:34:20 Linear algebra Matrix theory Singular value decomposition Computer vision Eigenface Facial recognition system Face detection Eigenvalues and eigenvectors Trace Algebra Mathematics Face recognition
120	SELBERG’S TRACE FORMULA ON THE K-REGULAR TREE AND APPLICATIONS AUDREY TERRAS AND DOROTHY WALLACE Abstract. This paper surveys graph theoretic analogues of the Selberg trace and pre-trace formulas along with some applic Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2003-01-03 03:06:23 Fourier analysis Matrix theory Plancherel theorem for spherical functions Representation theory of Lie groups Spherical harmonics Eigenvalues and eigenvectors Laplace operator Riemann hypothesis Sinc function Mathematical analysis Mathematics Algebra

UPDATE